Did William Lane Craig Misrepresent Roger Penrose